honest reducibility

纯正可归约性